Identity logics.
نویسندگان
چکیده
منابع مشابه
Logics of Imperfect Information without Identity
We investigate the expressive power of sentences of the family of independence-friendly (IF) logics in the equality-free setting. Various natural equality-free fragments of logics in this family translate into the version of existential second-order logic with prenex quantification of function symbols only and with the first-order parts of formulae equality-free. We study this version of existe...
متن کاملParaconsistent Logics and Identity - a Pragmatic Approach MSc
This thesis investigates what role paraconsistency can play in dealing with traditionally intractable problems concerning identity and change. More specifically, we consider three logics that all commit to a Leibnizian account of identity, but that provide distinct solutions to a version of the sorites paradox related to the Ship of Theseus. It is shown how the first of these logics solves the ...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملDecision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity
In the quest for expressive description logics for real-world applications, a powerful combination of constructs has so far eluded practical decision procedures: intersection and composition of roles. We propose tableau-based decision procedures for the satisfiability of logics extending ALC with the intersectionu, composition◦, uniont, converse ·− of roles and role identity id(·). We show that...
متن کاملNaming and Identity in Epistemic Logics Part I: The Propositional Case
Modal epistemic logics for many agents often assume a xed one-to-one correspondence between agents and the names for agents that occur in the language. This assumption restricts the applicability of any logic because it prohibits, for instance, anonymous agents, agents with many names, named groups of agents, and relative (indexical) reference. Here we examine the principles involved in such ca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1979
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093882801